High-order predicate calculus
[计] 高阶谓词演算
🧩 词语组成解析
high
[haɪ]
adj. 高的;高尚的，崇高的;高音调的;高级的，高等的;
adv. （程度等）高地;高价地;奢侈地;
n. 高处，高位;[气象学]高气压;高压地带;高水平;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
And very good-looking, like his mother.
也很漂亮 ，像他妈妈。
So I've heard.
我听说是这样。
Don't thank me, said Miss Yang. We must both thank Lucy!
“不用谢我，”杨小姐说，“我俩都得谢谢露茜！”